require_extension(EXT_ZALRSC);
WRITE_RD(MMU.load_reserved<int32_t>(RS1));
